structure T =
struct
  type must_be_datatype = int
end
